Representing actions: Laws, observations and hypotheses

Representing Actions: Laws, Observations and Hypotheses

> We propose a modiication L 1 of the action description language A. The language L 1 allows representation of hypothetical situations and hypothetical occurrence of actions (as in A) as well as representation of actual occurrences of actions and observations of the truth values of uents in actual situations. The corresponding entailment relation formalizes various types of common-sense reasoni...

Hypotheses Validation by Dialectical Laws

The article deals with application of philosophical laws of dialectics to verification of non-trivial hypotheses of different kind, as well as considers the process of finding solutions in a broad range of humankind activities using dialectics. As the first phase of verification, the filter that is composed in a certain way from the dialectical laws and categories is proposed, and the whole val...

Representing Actions in Memory

Representing Actions over Dynamic Domains

Current action theories are usually based on static domains in the sense that objects in the domain are xed and actions only change properties or relationships related to these objects, but cannot create new objects or destroy current objects in the domain. In this paper, we propose a new action language called D which handles dynamic domains. In the context of D actions may not only have norma...

Representing Concurrent Actions and Solving Connicts

As an extension of the well-known Action Description Language A introduced by M. Gelfond and V. Lifschitz 8], C. Baral and M. Gelfond recently deened the dialect A C which supports the description of concurrent actions 1]. Also, a sound but incomplete encoding of A C by means of an extended logic program was presented there. In this paper, we work on interpretations of contradictory inferences ...